Executing Action Languages for Planning Problems on Multi-core Platforms: Some Preliminary Results To Thanh Son, Phan Huy Tu, Enrico Pontelli, Tran Cao Son New Mexico State University Department of Computer Science {sto,

Source URL: clip.dia.fi.upm.es

Efficient Object Querying for Java Darren Willis, David J. Pearce and James Noble Computer Science, Victoria University of Wellington, NZ, {darren,djp,kjx}@mcs.vuw.ac.nz Abstract. Modern programming languages have littl

Source URL: homepages.ecs.vuw.ac.nz

The Why3 platform Version, May 2015 François Bobot1,2 Jean-Christophe Filliâtre1,2

Source URL: why3.lri.fr

• Proof assistants
• Functional languages
• Theoretical computer science
• Formal methods
• Logic in computer science
• Frama-C
• SPARK
• Coq
• Isabelle
• OCaml
• Formal verification
• French Institute for Research in Computer Science and Automation

Curriculum Vitae BENJAMIN F. GOLDBERG Courant Institute of Mathematical Sciences Department of Computer Science New York University

Source URL: cs.nyu.edu

• Computing
• Computer science
• Software engineering
• Functional programming
• International Conference on Functional Programming
• Programming Language Design and Implementation
• SIGPLAN
• Compiler
• Symposium on Principles of Programming Languages
• Association for Computing Machinery
• ACM Transactions on Programming Languages and Systems
• Functional languages

Interfacing C/C++ and Python with SWIG David M. Beazley Department of Computer Science University of Utah Salt Lake City, Utah 84112

Source URL: swig.org

• Software engineering
• Computer programming
• Programming language theory
• Cross-platform software
• Object-oriented programming languages
• Scripting languages
• High-level programming languages
• Procedural programming languages
• SWIG
• Python
• Entry point
• D

PDF Document

Source URL: www.cs.cmu.edu

• Computing
• Software engineering
• Computer programming
• Method
• Technical communication
• Cross-platform software
• Computer science
• Object-oriented programming languages
• Constructor
• Application programming interface
• Factory
• Usability

PDF Document

Source URL: homes.cs.washington.edu

• Functional languages
• Scripting languages
• Algorithm
• Mathematical logic
• Theoretical computer science
• Evaluation
• Eval
• JavaScript
• Synthesizer

DOC Document

Source URL: www.capsl.udel.edu

• Computing
• Computer programming
• Software engineering
• Concurrent programming languages
• Programming paradigms
• Guang Gao
• Parallel computing
• Actor model
• International Parallel and Distributed Processing Symposium
• International Conference on Parallel and Distributed Systems
• Dataflow programming
• Computer architecture

PDF Document

Source URL: www.math.stevens.edu

• Finite automata
• Formal languages
• Regular language
• Tree
• Theoretical computer science
• Mathematics
• Finite-state transducer
• Discrete mathematics
• Orbifold

PDF Document

Source URL: thamesvalley.pm.org

• Software engineering
• Software
• Computer programming
• Cross-platform software
• High-level programming languages
• Scripting languages
• Dumper
• Perl
• Debugging